libs-$(CONFIG_LIB_SEL4_C) += libsel4c
libs-$(CONFIG_LIB_SEL4) += libsel4
libs-$(CONFIG_LIB_SEL4_ELF) += libsel4elf
libs-$(CONFIG_LIB_SOS) += libsos
libs-$(CONFIG_LIB_SEL4_CSPACE) += libsel4cspace
libs-$(CONFIG_LIB_SEL4_UTILS) += libsel4utils
libs-$(CONFIG_LIB_SEL4_DITE_LOADER) += libsel4diteloader
libs-$(CONFIG_LIB_IXP400_XSCALE_SW) += libixp400_xscale_sw
libs-$(CONFIG_LIB_IXP_OSAL) += libixp_osal
libs-$(CONFIG_LIB_LWIP) += liblwip
libs-$(CONFIG_LIB_SEL4_SYNC) += libsel4sync
libs-$(CONFIG_LIB_SERIAL) += libserial
libs-$(CONFIG_LIB_NFS) += libnfs
libs-$(CONFIG_LIB_CLOCK) += libclock


libsel4c: common
libsel4: libsel4c common
libsel4elf: libsel4c common
libsos: common
libsel4cspace: libsel4 libsel4c libsel4utils common
libsel4diteloader: libsel4 libsel4c common
libixp400_xscale_sw: libsel4 libsel4c libixp_osal common
libixp_osal: libsel4 libsel4c libsel4sync common
liblwip: libsel4 libsel4c libixp_osal libixp400_xscale_sw common
libsel4sync: libsel4 libsel4c
libserial: liblwip libsel4c libsel4 common
libnfs: liblwip libsel4c libsel4 libsel4sync common
libclock: libsel4c libsel4 common



libsos: common
